Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
411	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:27:53 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
412	Book Review His Just Deserts: A Review of Four Books Reviewed by Alvy Ray Smith Malleability and Amplification are the twin glories Add to Reading List Source URL: www.ams.org Language: English - Date: 2014-07-31 09:01:39 Computability theory Mathematics Alan Turing Turing machine Models of computation Universal Turing machine Church–Turing thesis Halting problem Entscheidungsproblem Theoretical computer science Computer science Theory of computation
413	A Beginner’s Introduction to Heuristic Search Planning 2. Planning Formalisms (and Heuristic Search) Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-02-06 11:43:49 Models of computation Legal formalism State transition system Transition Automated planning and scheduling Planning Domain Definition Language Artificial intelligence
414	Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal Add to Reading List Source URL: defuse.ca Language: English - Date: 2013-10-06 17:49:56 Theoretical computer science Computer science Models of computation Alan Turing Typewriter Computer Windows XP Turing machine Theory of computation Computability theory
415	(L) Transducing RunesL1. B) start Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Finite-state machine Edge Digital electronics Models of computation Automata theory
416	YOUR NAME: REGISTRATION # (L) Transducing Runespoints] Before the Roman alphabet was introduced to Northern Europe, much of Scandinavia and what is Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Runic script Anglo-Saxon runes Finite-state machine Jēran Linguistics Germanic peoples Runic magic Notation Elder Futhark Alphabetic writing systems Automata theory Models of computation
417	Preproposal 3-January-1969 Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:18:09 Problem solving Theoretical computer science Artificial intelligence Cellular automata Formal methods Models of computation Cellular automaton Automata theory Logic Theorist Robot
418	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:56 Adjoint functors Functional programming Models of computation Functional languages Monad Kleisli category Denotational semantics List comprehension Strong monad Software engineering Computing Computer programming
419	Microsoft Word - 2-Meszaros.doc Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:06 Theoretical computer science Automata theory Models of computation Computing Graph theory GReAT Event DEVS Action Graph rewriting Software engineering Unified Modeling Language
420	Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking

UPDATE